21. Computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
22. Computational diffusion MRI :
پدیدآورنده : Enrico Kaden, Francesco Grusso, Lipeng Ning, Chantal M.W. Tax, Jelle Veraart, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Diffusion magnetic resonance imaging, Congresses.,Computational Biology/Bioinformatics.,Computational Mathematics and Numerical Analysis.,Image Processing and Computer Vision.,Mathematical and Computational Biology.,Mathematics.,Statistics for Life Sciences, Medicine, Health Sciences.,Diffusion magnetic resonance imaging.,Image processing.,Life sciences: general issues.,Maths for scientists.,NATURE-- Reference.,Numerical analysis.,Probability & statistics.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
RC386
.
6
.
M34
23. Computational mathematics, nanoelectronics and astrophysics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis ; Data processing ; Congresses. ;
24. Computational methods and experimental measurements :
پدیدآورنده : editors, G.A. Keramidas, C.A. Brebbia ; sponsored by the International Society for Computational Methods in Engineering.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering -- Data processing -- Congresses.,Engineering mathematics -- Congresses.,Measurement -- Congresses.
رده :
TA329
.
E358
1982
25. Computational methods in nonlinear structural and solid mechanics papers presented at the Symposium on Computational Methods in Nonlinear Structural and Solid Mechanics, held 6-8 October 1980, Washington, D.C.
پدیدآورنده : editors, Ahmed K. Noor and Harvey G. McComb, Jr
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Structures, Theory of -- Congresses,، Structures, Theory of -- Data processing -- Congresses,، Nonlinear mechanics -- Congresses,، Numerical analysis -- Congresses
رده :
TA
640
.
S95
1980
26. Computer aided analysis and optimization of mechanical system dynamics
پدیدآورنده : edited by Edward J. Haug.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dynamics -- Data processing -- Congresses.,Dynamics -- Data processing.,Machinery, Dynamics of -- Data processing -- Congresses.
رده :
TJ173
.
E358
1984
27. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
28. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer S. Schmidt, Editors
موضوع : ، Numerical analysis-Data processing-Congresses
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
29. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
30. Computer algebra in scientific computing :
پدیدآورنده : Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
31. Computer assisted radiology :
پدیدآورنده : edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
32. Computer oriented analysis of shell structures: proceedings
پدیدآورنده : edited by Richard F. Hartung
کتابخانه: (طهران)
موضوع : SHELLS )ENGINEERING(-CONGRESSES , NUMERICAL ANALYSIS-CONGRESSES , ELECTRONIC DATA PROCESSING-
رده :
TA
660
.
S5
C66
1970
33. Computing developments in experimental and numerical stress analysis
پدیدآورنده : edited by P. Stanley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Stains and stresses - Data processing - Congresses
رده :
TA
647
.
I57
1976
34. Computing developments in experimental and numerical stress analysis /
پدیدآورنده : edited by P. Stanley
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Strains and stresses- Data processing- Congresses
رده :
TA
,
647
,.
I57
,
1976
35. Computing in civil engineering :
پدیدآورنده : sponsored by Technical Council on Computing and Information Technology of the American Society of Civil Engineers ; edited by Ioannis Brilakis, Ph.D., SangHyun Lee, Ph.D., Burcin Becerik-Gerber, DDes
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Civil engineering-- Data processing, Congresses,Computer-aided engineering, Congresses
رده :
TA345
.
A833
2013
36. Computing methods in applied science and engineering, VII
پدیدآورنده : Edited by R. Glowinski, J. L. Lions
موضوع : Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
37. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده : Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
38. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
پدیدآورنده : Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
رده :
Q
183
.
9
.
I285
2002
39. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
40. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990